A Transformation System Combining Partial Evaluation
ثبت نشده
چکیده
This paper presents a new approach to optimizing functional programs based on combining partial evaluation and rewriting. Programs are composed of higher-order primitives. Partial evaluation is used to eliminate higher-order functions. First-order rewriting is used to process the transformation. Laws about the higher-order primitives that are relevant for the optimizations are automatically extracted from a library and transformed into rst-order terms using partial evaluation. Such a combination of a partial evaluation system and an intrinsically rst-order rewriting tool allows a form of higher-order rewriting at a rst-order level. This way, it is possible to automate deforestation of higher-order programs.
منابع مشابه
A Transformation System Combining Partial Evaluation with Term Rewriting
This paper presents a new approach to optimizing functional programs based on combining partial evaluation and rewriting. Programs are composed of higher-order primitives. Partial evaluation is used to eliminate higher-order functions. First-order rewriting is used to process the transformation. Laws about the higher-order primitives that are relevant for the optimizations are automatically ext...
متن کاملPartial Eigenvalue Assignment in Discrete-time Descriptor Systems via Derivative State Feedback
A method for solving the descriptor discrete-time linear system is focused. For easily, it is converted to a standard discrete-time linear system by the definition of a derivative state feedback. Then partial eigenvalue assignment is used for obtaining state feedback and solving the standard system. In partial eigenvalue assignment, just a part of the open loop spectrum of the standard linear s...
متن کاملA Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to previous approaches, we consider an intermediate representation for programs into which source programs can be automatically translated. The use of this simplified representation, together with the appropriate control iss...
متن کاملAdvanced Logic Program Specialisation
In first part of this course [28] we have laid the theoretical foundations for logic program specialisation, notably introducing the technique of partial deduction along with some basic techniques to automatically control it. In this part of the course we first present in Section 2 an advanced way of controlling polyvariance based upon characteristic trees. We then show in Section 3 how partial...
متن کاملComparison of Shariati hospital performance in Tehran before and after the health system transformation plan using a dynamic multi-attribute decision-making method
Abstract: Background: Iranian Health system Transformation plan has been implemented since 2014 with the aim of financial protection of people, equity establishment in access to health services and quality improvement of hospital services. Hospital performance evaluation is essential in order to monitor the health system transformation plan. One of the tools for evaluating hospital performance...
متن کامل